1.
The Optimal implementation of functional programming languages
by Asperti, A. and Guerrini, S.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Cambridge Cambridge University Press 1998Availability: Items available for loan: [Call number: 005.13 ASP] (1).
2.
Basic Simple Type Theory
by Hindley, J. R.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Cambridge Cambridge University Press 1996Availability: Items available for loan: [Call number: 005.13 HIN] (1).
3.
A Unifying Framework for Structured Analysis and Design Models
by Tse, T. H.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Cambridge Cambridge University Press 1991Availability: Items available for loan: [Call number: 004.21 TSE] (1).
4.
Domains and Lambda-Calculi
by Amadio, R. M.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Cambridge Cambridge University Press 1998Availability: Items available for loan: [Call number: 511.35 AMA] (1).
5.
Design Theory and Computer Science: Processes and methodology of Computer Systems Design
by Dasgupta, S.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Cambridge Cambridge University Press 1991Availability: Items available for loan: [Call number: 004.2 DAS] (1).
6.
Derivation and Computation: Taking the Curry-Howard correspondence seriously
by Simmons, H.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Cambridge Cambridge University Press 2000Availability: Items available for loan: [Call number: 511.321 SIM] (2).
7.
Concurrency Verification: Introduction to compositional and noncompositional methods
by de Roever, W-P., et.al.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Cambridge Cambridge University Press 2001Availability: Items available for loan: [Call number: 004.35 de R] (1).
8.
Higher Order Logic and Hardware Verification
by Melham, T. F.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Cambridge Cambridge University Press 1993Availability: Items available for loan: [Call number: 511.30285 MEL] (1).
9.
Hybrid Graph Theory and Network Analysis
by Novak, L.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Cambridge Cambridge University Press 1999Availability: Items available for loan: [Call number: 511.5 NOV] (1).
10.
Information Flow: The logic of distributed systems
by Barwise, J.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Cambridge Cambridge University Press 1997Availability: Items available for loan: [Call number: 003.54 BAR] (1).
11.
Data Refinement: Model-Oriented proof methods and their comparison
by de Roever, W.-P.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Cambridge Cambridge University Press 1998Availability: Items available for loan: [Call number: 003.3 de R] (1).
12.
Nets, Terms and Formulas: Three views of Concurrent processes and their relationship
by Olderog, E. -R.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Cambridge Cambridge University Press 1991Availability: Items available for loan: [Call number: 004.35 OLD] (1).
13.
The Clausal Theory of Types
by Wolfram, D. A.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Cambridge Cambridge University Press 1993Availability: Items available for loan: [Call number: 005.131 WOL] (1).
14.
Term Rewriting Systems
by Terese.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Cambridge Cambridge University Press 2003Availability: Items available for loan: [Call number: 005.131 TER] (1).
15.
Rippling: Meta-Level Guidance for Mathematical Reasoning
by Bundy, A. et.al.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Cambridge Cambridge University Press 2005Availability: Items available for loan: [Call number: 006.333 BUN] (1).
16.
Two-Level Functional Languages
by Nielson, F.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Cambridge Cambridge University Press 1992Availability: Items available for loan: [Call number: 005.13 NIE] (1).